OPTIONS:=

3-sat: 3-sat.md
	pandoc -H disable_float.tex 3-sat.md -V fontsize:12pt -V geometry:"top=2cm, bottom=2cm" --filter pandoc-eqnos -o 3-sat.pdf

clean:
	rm -rf 3-sat.pdf
